Holographic Computation of Balanced Succinct Permanent Instances

نویسندگان

  • Shlomi Dolev
  • Nova Fandina
  • Joseph Rosen
چکیده

Galperin and Wigderson proposed a succinct representation for graphs, that uses number of bits that is logarithmic in the number of nodes. They proved complexity results for various decision problems on graph properties, when the graph is given in a succinct representation. Later, Papadimitriou and Yannakakis showed, that under the same succinct encoding method, certain class of decision problems on graph properties becomes exponentially hard. In this paper we consider the complexity of the Permanent problem when the graph/matrix is given in a restricted succinct representation. We present an optical architecture that is based on the holographic concept for solving balanced succinct permanent problem. Holography enables to have exponential copying (roughly, n × n in each iteration) rather than constant copying (e.g., doubling in each iteration).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Succinct Permanent is NEXP - hard with Many Hard Instances ∗ ( Extended

A long standing issue in theoretical computer science is to find a problem that is both hard to solve and hard to solve on many instances. In this work we prove that the Succinct Permanent mod p is NEXP time hard in the worst case (via randomized polynomial time reduction). We find hard instance for any given heuritsic, either by running the heuristic applying the techniques in [3] toNEXP , or ...

متن کامل

Succinct Permanent Is NEXP-Hard with Many Hard Instances

Finding a problem that is both hard to solve and hard to solve on many instances is a long standing issue in theoretical computer science. In this work, we prove that the Succinct Permanent mod p is NEXP time hard in the worst case (via randomized polynomial time reduction). We find hard instances for any given heuristic, either by running the heuristic, applying the techniques in [5] to NEXP ,...

متن کامل

A Simple Optimal Representation for Balanced Parentheses

We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as finding the matching parenthesis for a given parenthesis, or finding the pair of parentheses that most tightly enclose a given pair. This problem was considered by Jacobson, [Proc. 30th FOCS, 549–554, 1989] and Munro and Ram...

متن کامل

Decision Support using Finite Automata and Decision Diagrams

This thesis considers the area of constraint programming, more specifically, knowledge compilation for the use in decision support. In particular decision support for configuration problems is considered. The main contributions of the thesis are the following: Decision support on unbounded string domains A technique is presented that offers decision support for CSPs that contain variables on un...

متن کامل

Computation-Trace Indistinguishability Obfuscation and its Applications

We introduce a new, instance-based notion of indistinguishability obfuscation, called computation-trace indistinguishability obfuscation (CiO), for (parallel) RAM computation. CiO only obfuscates a fixed, single computation instance, as opposed to iO which obfuscates a function on all input instances. Specifically, for Π defined by (P, x) consisting of a (parallel) RAM program P and an input x,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010